An Alternative Implementation of BDD - Packages byMulti -
نویسندگان
چکیده
In this paper we present a new approach for the realization of a BDD-package. This approach does not depend on recursive synthesis operations (i.e. the ternary If-Then-Else-operator (ITE)) to perform manipulations of Boolean functions; instead our basic operation MORE is based on exchanges of neighbouring variables and existential quantiication. It is capable of combining an arbitrary number of Boolean functions in parallel. We discuss the diierence between MORE and ITE and give experimental results to show the advantages of our implementation approach with respect to size and runtime.
منابع مشابه
An Alternative Implementation of BDD - Packages byMulti - Operand Synthesis
In this paper we present a new approach for the realization of a BDD-package. This approach does not depend on recursive synthesis operations (i.e. the ternary If-Then-Else-operator (ITE)) to perform manipulations of Boolean functions; instead our basic operation MORE is based on exchanges of neighbouring variables and existential quantiication. It is capable of combining an arbitrary number of...
متن کاملAn enhanced component connection method for conversion of fault trees to binary decision diagrams
Fault Tree Analysis (FTA) is widely applied to assess the failure probability of industrial systems. Many computer packages are available which are based on conventional Kinetic Tree Theory methods. When dealing with large (possibly non-coherent) fault trees, the limitations of the technique in terms of accuracy of the solutions and the efficiency of the processing time becomes apparent. Over r...
متن کاملA Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking
Symbolic data structures using Binary Decision Diagrams (BDDs) have been successfully used in the last decades to analyse large systems. While various BDD and MTBDD packages have been developed in the community, the CUDD package remains the default choice of most of the symbolic (probabilistic) model checkers. In this paper, we provide the first comparative study of the performance of various B...
متن کاملEffective Strategies for Optimal Implementation of Evolution and Innovation Packages in Medical Education
ABSTRACT BACKGROUND AND OBJECTIVE: Evolution and innovation packages in medical science education are the main program of medical education and it is necessary to pay attention to the provision of infrastructure of their implementation. This study was conducted to identify effective strategies for optimal implementation of evolution and innovation packages in medical education. METHODS: The met...
متن کاملChoosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks
Fault-tree analysis is commonly used for risk assessment of industrial systems. Several computer packages are available to carry out the analysis. Despite its common usage there are associated limitations of the technique in terms of accuracy and efficiency when dealing with large fault-tree structures. The most recent approach to aid the analysis of the fault-tree diagram is the BDD (binary de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996